Buy Used and New Alexander Leitsch Books

Results for Alexander Leitsch

Showing 1 to 7 of 7 results
Methods of Cut-Elimination (Trends in Logic) Methods of Cut-Elimination (Trends in Logic) by Matthias Baaz,Alexander Leitsch

Methods of Cut-Elimination (Trends in Logic)

by Matthias Baaz,Alexander Leitsch


ISBN 13: 9789400703193

Format: Hardcover (293 pages)
Publisher: Springer
Published: 17 Jan 2011

Save for later

 
New : $156.79  
New : $156.79
Automated Model Building (Applied Logic): 31 (Applied Logic Series) Automated Model Building (Applied Logic): 31 (Applied Logic Series) by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier

Automated Model Building (Applied Logic): 31 (Applied Logic Series)

by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier


ISBN 13: 9781402026522

Format: Hardcover (360 pages)
Publisher: Springer
Published: 13 Sep 2004

Save for later

 
New : $226.53  
New : $226.53
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) by Alexander Leitsch

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

by Alexander Leitsch


ISBN 13: 9783642644733

Format: Paperback (308 pages)
Publisher: Springer
Published: 31 Jul 2012

Save for later

 
New : $76.59  
New : $76.59
Methods of Cut-Elimination: 34 (Trends in Logic) Methods of Cut-Elimination: 34 (Trends in Logic) by Matthias Baaz,Alexander Leitsch

Methods of Cut-Elimination: 34 (Trends in Logic)

by Matthias Baaz,Alexander Leitsch


ISBN 13: 9789400734975

Format: Paperback (296 pages)
Publisher: Springer
Published: 25 Feb 2013

Save for later

 
New : $127.55  
New : $127.55